Knihy od autora Bernhard Beckert

Zobrazeno 1 – 11 z 11 výsledků

1. 

   Electronic Voting

   Robert Krimmer, Melanie Volkamer, Veronique Cortier, Bernhard Beckert, Ralf Küsters, Uwe Serdült, David Duenas-Cid | Springer Nature Switzerland AG, 2019

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 10-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1977 Kč

   Koupit
2. 

   Logic of Software. A Tasting Menu of Formal Methods

   Einar Broch Johnsen, Richard Bubel, Bernhard Beckert | Springer International Publishing AG, 2022

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 10-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   3313 Kč

   Koupit
3. 

   Verification of Object-Oriented Software. The KeY Approach

   Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 10-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   3313 Kč

   Koupit
4. 

   Tests and Proofs

   Bernhard Beckert, Reiner Hähnle | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 10-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
5. 

   Formal Verification of Object-Oriented Software

   Bernhard Beckert | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011

   
   

   Skladem u dodavatele - Odesíláme za 9-13 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1702 Kč

   Koupit
6. 

   Formal Verification of Object-Oriented Software

   Bernhard Beckert, Ferruccio Damiani, Dilian Gurov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 10-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1533 Kč

   Koupit
7. 

   Formal Methods for Components and Objects

   Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 10-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
8. 

   Electronic Voting

   Melanie Volkamer, Bernhard Beckert, Mikhel Solvak, Oksana Kulyk, David Duenas-Cid, Ralf Küsters | Springer Nature Switzerland AG, 2020

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 10-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
9. 

   Automated Reasoning with Analytic Tableaux and Related Methods

   Bernhard Beckert | Springer, Berlin, 2005

   
   

   Skladem u dodavatele - Odesíláme za 5-7 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1442 Kč

   Koupit
10. 

    Deductive Software Verification: Future Perspectives

    Bernhard Beckert, Mattias Ulbrich, Reiner Hähnle, Richard Bubel | Springer Nature Switzerland AG, 2020

    
    

    Skladem u dodavatele v malém množství - Odesíláme za 10-15 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1681 Kč

    Koupit
11. 

    Deductive Software Verification - The KeY Book

    Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich | Springer International Publishing AG, 2016

    
    

    Skladem u dodavatele v malém množství - Odesíláme za 10-15 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    3907 Kč

    Koupit

Poskytujeme slevy pro studenty, učitele a držitele ISIC. Zjistěte více